type crypto/internal/nistec/fiat.p256Uint1

230 uses

	crypto/internal/nistec/fiat (current package)
		p256.go#L125: 	p256Selectznz((*p256UntypedFieldElement)(&v.x), p256Uint1(cond),
		p256_fiat64.go#L43: type p256Uint1 uint64 // We use uint64 instead of a more narrow type for performance reasons; see https://github.com/mit-plv/fiat-crypto/pull/1006#issuecomment-892625927
		p256_fiat64.go#L71: func p256CmovznzU64(out1 *uint64, arg1 p256Uint1, arg2 uint64, arg3 uint64) {
		p256_fiat64.go#L110: 	x15, x16 = bits.Add64(x10, x7, uint64(p256Uint1(x14)))
		p256_fiat64.go#L113: 	x17, x18 = bits.Add64(x8, x5, uint64(p256Uint1(x16)))
		p256_fiat64.go#L114: 	x19 := (uint64(p256Uint1(x18)) + x6)
		p256_fiat64.go#L127: 	x28 := (uint64(p256Uint1(x27)) + x23)
		p256_fiat64.go#L132: 	x31, x32 = bits.Add64(x13, x26, uint64(p256Uint1(x30)))
		p256_fiat64.go#L135: 	x33, x34 = bits.Add64(x15, x28, uint64(p256Uint1(x32)))
		p256_fiat64.go#L138: 	x35, x36 = bits.Add64(x17, x20, uint64(p256Uint1(x34)))
		p256_fiat64.go#L141: 	x37, x38 = bits.Add64(x19, x21, uint64(p256Uint1(x36)))
		p256_fiat64.go#L159: 	x49, x50 = bits.Add64(x44, x41, uint64(p256Uint1(x48)))
		p256_fiat64.go#L162: 	x51, x52 = bits.Add64(x42, x39, uint64(p256Uint1(x50)))
		p256_fiat64.go#L163: 	x53 := (uint64(p256Uint1(x52)) + x40)
		p256_fiat64.go#L169: 	x56, x57 = bits.Add64(x33, x47, uint64(p256Uint1(x55)))
		p256_fiat64.go#L172: 	x58, x59 = bits.Add64(x35, x49, uint64(p256Uint1(x57)))
		p256_fiat64.go#L175: 	x60, x61 = bits.Add64(x37, x51, uint64(p256Uint1(x59)))
		p256_fiat64.go#L178: 	x62, x63 = bits.Add64(uint64(p256Uint1(x38)), x53, uint64(p256Uint1(x61)))
		p256_fiat64.go#L191: 	x72 := (uint64(p256Uint1(x71)) + x67)
		p256_fiat64.go#L196: 	x75, x76 = bits.Add64(x56, x70, uint64(p256Uint1(x74)))
		p256_fiat64.go#L199: 	x77, x78 = bits.Add64(x58, x72, uint64(p256Uint1(x76)))
		p256_fiat64.go#L202: 	x79, x80 = bits.Add64(x60, x64, uint64(p256Uint1(x78)))
		p256_fiat64.go#L205: 	x81, x82 = bits.Add64(x62, x65, uint64(p256Uint1(x80)))
		p256_fiat64.go#L206: 	x83 := (uint64(p256Uint1(x82)) + uint64(p256Uint1(x63)))
		p256_fiat64.go#L224: 	x94, x95 = bits.Add64(x89, x86, uint64(p256Uint1(x93)))
		p256_fiat64.go#L227: 	x96, x97 = bits.Add64(x87, x84, uint64(p256Uint1(x95)))
		p256_fiat64.go#L228: 	x98 := (uint64(p256Uint1(x97)) + x85)
		p256_fiat64.go#L234: 	x101, x102 = bits.Add64(x77, x92, uint64(p256Uint1(x100)))
		p256_fiat64.go#L237: 	x103, x104 = bits.Add64(x79, x94, uint64(p256Uint1(x102)))
		p256_fiat64.go#L240: 	x105, x106 = bits.Add64(x81, x96, uint64(p256Uint1(x104)))
		p256_fiat64.go#L243: 	x107, x108 = bits.Add64(x83, x98, uint64(p256Uint1(x106)))
		p256_fiat64.go#L256: 	x117 := (uint64(p256Uint1(x116)) + x112)
		p256_fiat64.go#L261: 	x120, x121 = bits.Add64(x101, x115, uint64(p256Uint1(x119)))
		p256_fiat64.go#L264: 	x122, x123 = bits.Add64(x103, x117, uint64(p256Uint1(x121)))
		p256_fiat64.go#L267: 	x124, x125 = bits.Add64(x105, x109, uint64(p256Uint1(x123)))
		p256_fiat64.go#L270: 	x126, x127 = bits.Add64(x107, x110, uint64(p256Uint1(x125)))
		p256_fiat64.go#L271: 	x128 := (uint64(p256Uint1(x127)) + uint64(p256Uint1(x108)))
		p256_fiat64.go#L289: 	x139, x140 = bits.Add64(x134, x131, uint64(p256Uint1(x138)))
		p256_fiat64.go#L292: 	x141, x142 = bits.Add64(x132, x129, uint64(p256Uint1(x140)))
		p256_fiat64.go#L293: 	x143 := (uint64(p256Uint1(x142)) + x130)
		p256_fiat64.go#L299: 	x146, x147 = bits.Add64(x122, x137, uint64(p256Uint1(x145)))
		p256_fiat64.go#L302: 	x148, x149 = bits.Add64(x124, x139, uint64(p256Uint1(x147)))
		p256_fiat64.go#L305: 	x150, x151 = bits.Add64(x126, x141, uint64(p256Uint1(x149)))
		p256_fiat64.go#L308: 	x152, x153 = bits.Add64(x128, x143, uint64(p256Uint1(x151)))
		p256_fiat64.go#L321: 	x162 := (uint64(p256Uint1(x161)) + x157)
		p256_fiat64.go#L326: 	x165, x166 = bits.Add64(x146, x160, uint64(p256Uint1(x164)))
		p256_fiat64.go#L329: 	x167, x168 = bits.Add64(x148, x162, uint64(p256Uint1(x166)))
		p256_fiat64.go#L332: 	x169, x170 = bits.Add64(x150, x154, uint64(p256Uint1(x168)))
		p256_fiat64.go#L335: 	x171, x172 = bits.Add64(x152, x155, uint64(p256Uint1(x170)))
		p256_fiat64.go#L336: 	x173 := (uint64(p256Uint1(x172)) + uint64(p256Uint1(x153)))
		p256_fiat64.go#L342: 	x176, x177 = bits.Sub64(x167, 0xffffffff, uint64(p256Uint1(x175)))
		p256_fiat64.go#L345: 	x178, x179 = bits.Sub64(x169, uint64(0x0), uint64(p256Uint1(x177)))
		p256_fiat64.go#L348: 	x180, x181 = bits.Sub64(x171, 0xffffffff00000001, uint64(p256Uint1(x179)))
		p256_fiat64.go#L350: 	_, x183 = bits.Sub64(x173, uint64(0x0), uint64(p256Uint1(x181)))
		p256_fiat64.go#L352: 	p256CmovznzU64(&x184, p256Uint1(x183), x174, x165)
		p256_fiat64.go#L354: 	p256CmovznzU64(&x185, p256Uint1(x183), x176, x167)
		p256_fiat64.go#L356: 	p256CmovznzU64(&x186, p256Uint1(x183), x178, x169)
		p256_fiat64.go#L358: 	p256CmovznzU64(&x187, p256Uint1(x183), x180, x171)
		p256_fiat64.go#L397: 	x15, x16 = bits.Add64(x10, x7, uint64(p256Uint1(x14)))
		p256_fiat64.go#L400: 	x17, x18 = bits.Add64(x8, x5, uint64(p256Uint1(x16)))
		p256_fiat64.go#L401: 	x19 := (uint64(p256Uint1(x18)) + x6)
		p256_fiat64.go#L414: 	x28 := (uint64(p256Uint1(x27)) + x23)
		p256_fiat64.go#L419: 	x31, x32 = bits.Add64(x13, x26, uint64(p256Uint1(x30)))
		p256_fiat64.go#L422: 	x33, x34 = bits.Add64(x15, x28, uint64(p256Uint1(x32)))
		p256_fiat64.go#L425: 	x35, x36 = bits.Add64(x17, x20, uint64(p256Uint1(x34)))
		p256_fiat64.go#L428: 	x37, x38 = bits.Add64(x19, x21, uint64(p256Uint1(x36)))
		p256_fiat64.go#L446: 	x49, x50 = bits.Add64(x44, x41, uint64(p256Uint1(x48)))
		p256_fiat64.go#L449: 	x51, x52 = bits.Add64(x42, x39, uint64(p256Uint1(x50)))
		p256_fiat64.go#L450: 	x53 := (uint64(p256Uint1(x52)) + x40)
		p256_fiat64.go#L456: 	x56, x57 = bits.Add64(x33, x47, uint64(p256Uint1(x55)))
		p256_fiat64.go#L459: 	x58, x59 = bits.Add64(x35, x49, uint64(p256Uint1(x57)))
		p256_fiat64.go#L462: 	x60, x61 = bits.Add64(x37, x51, uint64(p256Uint1(x59)))
		p256_fiat64.go#L465: 	x62, x63 = bits.Add64(uint64(p256Uint1(x38)), x53, uint64(p256Uint1(x61)))
		p256_fiat64.go#L478: 	x72 := (uint64(p256Uint1(x71)) + x67)
		p256_fiat64.go#L483: 	x75, x76 = bits.Add64(x56, x70, uint64(p256Uint1(x74)))
		p256_fiat64.go#L486: 	x77, x78 = bits.Add64(x58, x72, uint64(p256Uint1(x76)))
		p256_fiat64.go#L489: 	x79, x80 = bits.Add64(x60, x64, uint64(p256Uint1(x78)))
		p256_fiat64.go#L492: 	x81, x82 = bits.Add64(x62, x65, uint64(p256Uint1(x80)))
		p256_fiat64.go#L493: 	x83 := (uint64(p256Uint1(x82)) + uint64(p256Uint1(x63)))
		p256_fiat64.go#L511: 	x94, x95 = bits.Add64(x89, x86, uint64(p256Uint1(x93)))
		p256_fiat64.go#L514: 	x96, x97 = bits.Add64(x87, x84, uint64(p256Uint1(x95)))
		p256_fiat64.go#L515: 	x98 := (uint64(p256Uint1(x97)) + x85)
		p256_fiat64.go#L521: 	x101, x102 = bits.Add64(x77, x92, uint64(p256Uint1(x100)))
		p256_fiat64.go#L524: 	x103, x104 = bits.Add64(x79, x94, uint64(p256Uint1(x102)))
		p256_fiat64.go#L527: 	x105, x106 = bits.Add64(x81, x96, uint64(p256Uint1(x104)))
		p256_fiat64.go#L530: 	x107, x108 = bits.Add64(x83, x98, uint64(p256Uint1(x106)))
		p256_fiat64.go#L543: 	x117 := (uint64(p256Uint1(x116)) + x112)
		p256_fiat64.go#L548: 	x120, x121 = bits.Add64(x101, x115, uint64(p256Uint1(x119)))
		p256_fiat64.go#L551: 	x122, x123 = bits.Add64(x103, x117, uint64(p256Uint1(x121)))
		p256_fiat64.go#L554: 	x124, x125 = bits.Add64(x105, x109, uint64(p256Uint1(x123)))
		p256_fiat64.go#L557: 	x126, x127 = bits.Add64(x107, x110, uint64(p256Uint1(x125)))
		p256_fiat64.go#L558: 	x128 := (uint64(p256Uint1(x127)) + uint64(p256Uint1(x108)))
		p256_fiat64.go#L576: 	x139, x140 = bits.Add64(x134, x131, uint64(p256Uint1(x138)))
		p256_fiat64.go#L579: 	x141, x142 = bits.Add64(x132, x129, uint64(p256Uint1(x140)))
		p256_fiat64.go#L580: 	x143 := (uint64(p256Uint1(x142)) + x130)
		p256_fiat64.go#L586: 	x146, x147 = bits.Add64(x122, x137, uint64(p256Uint1(x145)))
		p256_fiat64.go#L589: 	x148, x149 = bits.Add64(x124, x139, uint64(p256Uint1(x147)))
		p256_fiat64.go#L592: 	x150, x151 = bits.Add64(x126, x141, uint64(p256Uint1(x149)))
		p256_fiat64.go#L595: 	x152, x153 = bits.Add64(x128, x143, uint64(p256Uint1(x151)))
		p256_fiat64.go#L608: 	x162 := (uint64(p256Uint1(x161)) + x157)
		p256_fiat64.go#L613: 	x165, x166 = bits.Add64(x146, x160, uint64(p256Uint1(x164)))
		p256_fiat64.go#L616: 	x167, x168 = bits.Add64(x148, x162, uint64(p256Uint1(x166)))
		p256_fiat64.go#L619: 	x169, x170 = bits.Add64(x150, x154, uint64(p256Uint1(x168)))
		p256_fiat64.go#L622: 	x171, x172 = bits.Add64(x152, x155, uint64(p256Uint1(x170)))
		p256_fiat64.go#L623: 	x173 := (uint64(p256Uint1(x172)) + uint64(p256Uint1(x153)))
		p256_fiat64.go#L629: 	x176, x177 = bits.Sub64(x167, 0xffffffff, uint64(p256Uint1(x175)))
		p256_fiat64.go#L632: 	x178, x179 = bits.Sub64(x169, uint64(0x0), uint64(p256Uint1(x177)))
		p256_fiat64.go#L635: 	x180, x181 = bits.Sub64(x171, 0xffffffff00000001, uint64(p256Uint1(x179)))
		p256_fiat64.go#L637: 	_, x183 = bits.Sub64(x173, uint64(0x0), uint64(p256Uint1(x181)))
		p256_fiat64.go#L639: 	p256CmovznzU64(&x184, p256Uint1(x183), x174, x165)
		p256_fiat64.go#L641: 	p256CmovznzU64(&x185, p256Uint1(x183), x176, x167)
		p256_fiat64.go#L643: 	p256CmovznzU64(&x186, p256Uint1(x183), x178, x169)
		p256_fiat64.go#L645: 	p256CmovznzU64(&x187, p256Uint1(x183), x180, x171)
		p256_fiat64.go#L669: 	x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(p256Uint1(x2)))
		p256_fiat64.go#L672: 	x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(p256Uint1(x4)))
		p256_fiat64.go#L675: 	x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(p256Uint1(x6)))
		p256_fiat64.go#L681: 	x11, x12 = bits.Sub64(x3, 0xffffffff, uint64(p256Uint1(x10)))
		p256_fiat64.go#L684: 	x13, x14 = bits.Sub64(x5, uint64(0x0), uint64(p256Uint1(x12)))
		p256_fiat64.go#L687: 	x15, x16 = bits.Sub64(x7, 0xffffffff00000001, uint64(p256Uint1(x14)))
		p256_fiat64.go#L689: 	_, x18 = bits.Sub64(uint64(p256Uint1(x8)), uint64(0x0), uint64(p256Uint1(x16)))
		p256_fiat64.go#L691: 	p256CmovznzU64(&x19, p256Uint1(x18), x9, x1)
		p256_fiat64.go#L693: 	p256CmovznzU64(&x20, p256Uint1(x18), x11, x3)
		p256_fiat64.go#L695: 	p256CmovznzU64(&x21, p256Uint1(x18), x13, x5)
		p256_fiat64.go#L697: 	p256CmovznzU64(&x22, p256Uint1(x18), x15, x7)
		p256_fiat64.go#L721: 	x3, x4 = bits.Sub64(arg1[1], arg2[1], uint64(p256Uint1(x2)))
		p256_fiat64.go#L724: 	x5, x6 = bits.Sub64(arg1[2], arg2[2], uint64(p256Uint1(x4)))
		p256_fiat64.go#L727: 	x7, x8 = bits.Sub64(arg1[3], arg2[3], uint64(p256Uint1(x6)))
		p256_fiat64.go#L729: 	p256CmovznzU64(&x9, p256Uint1(x8), uint64(0x0), 0xffffffffffffffff)
		p256_fiat64.go#L735: 	x12, x13 = bits.Add64(x3, (x9 & 0xffffffff), uint64(p256Uint1(x11)))
		p256_fiat64.go#L738: 	x14, x15 = bits.Add64(x5, uint64(0x0), uint64(p256Uint1(x13)))
		p256_fiat64.go#L740: 	x16, _ = bits.Add64(x7, (x9 & 0xffffffff00000001), uint64(p256Uint1(x15)))
		p256_fiat64.go#L788: 	x12, x13 = bits.Add64(uint64(0x0), x8, uint64(p256Uint1(x11)))
		p256_fiat64.go#L808: 	x26, x27 = bits.Add64((uint64(p256Uint1(x15)) + (uint64(p256Uint1(x13)) + (uint64(p256Uint1(x9)) + x5))), x22, uint64(p256Uint1(x25)))
		p256_fiat64.go#L811: 	x28, x29 = bits.Add64(x2, (uint64(p256Uint1(x23)) + x19), uint64(p256Uint1(x27)))
		p256_fiat64.go#L814: 	x30, x31 = bits.Add64(x3, x16, uint64(p256Uint1(x29)))
		p256_fiat64.go#L820: 	x34, x35 = bits.Add64(x28, uint64(0x0), uint64(p256Uint1(x33)))
		p256_fiat64.go#L823: 	x36, x37 = bits.Add64(x30, uint64(0x0), uint64(p256Uint1(x35)))
		p256_fiat64.go#L840: 	x48, x49 = bits.Add64(x34, x44, uint64(p256Uint1(x47)))
		p256_fiat64.go#L843: 	x50, x51 = bits.Add64(x36, (uint64(p256Uint1(x45)) + x41), uint64(p256Uint1(x49)))
		p256_fiat64.go#L846: 	x52, x53 = bits.Add64((uint64(p256Uint1(x37)) + (uint64(p256Uint1(x31)) + x17)), x38, uint64(p256Uint1(x51)))
		p256_fiat64.go#L852: 	x56, x57 = bits.Add64(x50, uint64(0x0), uint64(p256Uint1(x55)))
		p256_fiat64.go#L855: 	x58, x59 = bits.Add64(x52, uint64(0x0), uint64(p256Uint1(x57)))
		p256_fiat64.go#L872: 	x70, x71 = bits.Add64(x56, x66, uint64(p256Uint1(x69)))
		p256_fiat64.go#L875: 	x72, x73 = bits.Add64(x58, (uint64(p256Uint1(x67)) + x63), uint64(p256Uint1(x71)))
		p256_fiat64.go#L878: 	x74, x75 = bits.Add64((uint64(p256Uint1(x59)) + (uint64(p256Uint1(x53)) + x39)), x60, uint64(p256Uint1(x73)))
		p256_fiat64.go#L879: 	x76 := (uint64(p256Uint1(x75)) + x61)
		p256_fiat64.go#L885: 	x79, x80 = bits.Sub64(x72, 0xffffffff, uint64(p256Uint1(x78)))
		p256_fiat64.go#L888: 	x81, x82 = bits.Sub64(x74, uint64(0x0), uint64(p256Uint1(x80)))
		p256_fiat64.go#L891: 	x83, x84 = bits.Sub64(x76, 0xffffffff00000001, uint64(p256Uint1(x82)))
		p256_fiat64.go#L893: 	_, x86 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(p256Uint1(x84)))
		p256_fiat64.go#L895: 	p256CmovznzU64(&x87, p256Uint1(x86), x77, x70)
		p256_fiat64.go#L897: 	p256CmovznzU64(&x88, p256Uint1(x86), x79, x72)
		p256_fiat64.go#L899: 	p256CmovznzU64(&x89, p256Uint1(x86), x81, x74)
		p256_fiat64.go#L901: 	p256CmovznzU64(&x90, p256Uint1(x86), x83, x76)
		p256_fiat64.go#L940: 	x15, x16 = bits.Add64(x10, x7, uint64(p256Uint1(x14)))
		p256_fiat64.go#L943: 	x17, x18 = bits.Add64(x8, x5, uint64(p256Uint1(x16)))
		p256_fiat64.go#L960: 	x29, x30 = bits.Add64(x13, x25, uint64(p256Uint1(x28)))
		p256_fiat64.go#L963: 	x31, x32 = bits.Add64(x15, (uint64(p256Uint1(x26)) + x22), uint64(p256Uint1(x30)))
		p256_fiat64.go#L966: 	x33, x34 = bits.Add64(x17, x19, uint64(p256Uint1(x32)))
		p256_fiat64.go#L969: 	x35, x36 = bits.Add64((uint64(p256Uint1(x18)) + x6), x20, uint64(p256Uint1(x34)))
		p256_fiat64.go#L987: 	x47, x48 = bits.Add64(x42, x39, uint64(p256Uint1(x46)))
		p256_fiat64.go#L990: 	x49, x50 = bits.Add64(x40, x37, uint64(p256Uint1(x48)))
		p256_fiat64.go#L996: 	x53, x54 = bits.Add64(x31, x45, uint64(p256Uint1(x52)))
		p256_fiat64.go#L999: 	x55, x56 = bits.Add64(x33, x47, uint64(p256Uint1(x54)))
		p256_fiat64.go#L1002: 	x57, x58 = bits.Add64(x35, x49, uint64(p256Uint1(x56)))
		p256_fiat64.go#L1019: 	x69, x70 = bits.Add64(x53, x65, uint64(p256Uint1(x68)))
		p256_fiat64.go#L1022: 	x71, x72 = bits.Add64(x55, (uint64(p256Uint1(x66)) + x62), uint64(p256Uint1(x70)))
		p256_fiat64.go#L1025: 	x73, x74 = bits.Add64(x57, x59, uint64(p256Uint1(x72)))
		p256_fiat64.go#L1028: 	x75, x76 = bits.Add64(((uint64(p256Uint1(x58)) + uint64(p256Uint1(x36))) + (uint64(p256Uint1(x50)) + x38)), x60, uint64(p256Uint1(x74)))
		p256_fiat64.go#L1046: 	x87, x88 = bits.Add64(x82, x79, uint64(p256Uint1(x86)))
		p256_fiat64.go#L1049: 	x89, x90 = bits.Add64(x80, x77, uint64(p256Uint1(x88)))
		p256_fiat64.go#L1055: 	x93, x94 = bits.Add64(x71, x85, uint64(p256Uint1(x92)))
		p256_fiat64.go#L1058: 	x95, x96 = bits.Add64(x73, x87, uint64(p256Uint1(x94)))
		p256_fiat64.go#L1061: 	x97, x98 = bits.Add64(x75, x89, uint64(p256Uint1(x96)))
		p256_fiat64.go#L1078: 	x109, x110 = bits.Add64(x93, x105, uint64(p256Uint1(x108)))
		p256_fiat64.go#L1081: 	x111, x112 = bits.Add64(x95, (uint64(p256Uint1(x106)) + x102), uint64(p256Uint1(x110)))
		p256_fiat64.go#L1084: 	x113, x114 = bits.Add64(x97, x99, uint64(p256Uint1(x112)))
		p256_fiat64.go#L1087: 	x115, x116 = bits.Add64(((uint64(p256Uint1(x98)) + uint64(p256Uint1(x76))) + (uint64(p256Uint1(x90)) + x78)), x100, uint64(p256Uint1(x114)))
		p256_fiat64.go#L1105: 	x127, x128 = bits.Add64(x122, x119, uint64(p256Uint1(x126)))
		p256_fiat64.go#L1108: 	x129, x130 = bits.Add64(x120, x117, uint64(p256Uint1(x128)))
		p256_fiat64.go#L1114: 	x133, x134 = bits.Add64(x111, x125, uint64(p256Uint1(x132)))
		p256_fiat64.go#L1117: 	x135, x136 = bits.Add64(x113, x127, uint64(p256Uint1(x134)))
		p256_fiat64.go#L1120: 	x137, x138 = bits.Add64(x115, x129, uint64(p256Uint1(x136)))
		p256_fiat64.go#L1137: 	x149, x150 = bits.Add64(x133, x145, uint64(p256Uint1(x148)))
		p256_fiat64.go#L1140: 	x151, x152 = bits.Add64(x135, (uint64(p256Uint1(x146)) + x142), uint64(p256Uint1(x150)))
		p256_fiat64.go#L1143: 	x153, x154 = bits.Add64(x137, x139, uint64(p256Uint1(x152)))
		p256_fiat64.go#L1146: 	x155, x156 = bits.Add64(((uint64(p256Uint1(x138)) + uint64(p256Uint1(x116))) + (uint64(p256Uint1(x130)) + x118)), x140, uint64(p256Uint1(x154)))
		p256_fiat64.go#L1152: 	x159, x160 = bits.Sub64(x151, 0xffffffff, uint64(p256Uint1(x158)))
		p256_fiat64.go#L1155: 	x161, x162 = bits.Sub64(x153, uint64(0x0), uint64(p256Uint1(x160)))
		p256_fiat64.go#L1158: 	x163, x164 = bits.Sub64(x155, 0xffffffff00000001, uint64(p256Uint1(x162)))
		p256_fiat64.go#L1160: 	_, x166 = bits.Sub64(uint64(p256Uint1(x156)), uint64(0x0), uint64(p256Uint1(x164)))
		p256_fiat64.go#L1162: 	p256CmovznzU64(&x167, p256Uint1(x166), x157, x149)
		p256_fiat64.go#L1164: 	p256CmovznzU64(&x168, p256Uint1(x166), x159, x151)
		p256_fiat64.go#L1166: 	p256CmovznzU64(&x169, p256Uint1(x166), x161, x153)
		p256_fiat64.go#L1168: 	p256CmovznzU64(&x170, p256Uint1(x166), x163, x155)
		p256_fiat64.go#L1190: func p256Selectznz(out1 *[4]uint64, arg1 p256Uint1, arg2 *[4]uint64, arg3 *[4]uint64) {